General.G_interpreter
The GIL interpreter
module type S = Gillian.General.G_interpreter.S
module Make = Engine.G_interpreter.Make