It was probably running on Java or C#.
Couldn’t be Java. The gun was way too fast. Couldn’t be C# either. Gun’s probably aren’t supported hardware. Sounds more like unmanaged code like C++. This whole incident adds a completely new dimension to the term ‘invalid pointer’.