sig
  val build_prog :
    Bulletml.Interp_types.env ->
    Bulletml.Interp_types.opcode list ->
    Bulletml.Syntax.subaction -> Bulletml.Interp_types.opcode list
  val int_pos : Bulletml.Interp_types.position -> int * int
  val initial_obj :
    Bulletml.Interp_types.opcode list ->
    Bulletml.Interp_types.position -> Bulletml.Interp_types.obj
  val collect_obj :
    Bulletml.Interp_types.obj -> Bulletml.Interp_types.obj list
  val animate :
    Bulletml.Interp_types.env ->
    Bulletml.Interp_types.obj -> Bulletml.Interp_types.obj
  val prepare :
    Bulletml.Syntax.t ->
    Bulletml.Interp_types.init_params ->
    Bulletml.Interp_types.env * Bulletml.Interp_types.obj * string
  val main_loop :
    Bulletml.Syntax.t ->
    Bulletml.Interp_types.init_params ->
    ('g, 'l, 'r) Bulletml.Interp_types.interpreter -> 'r
end