type t
val create : [ `compile | `compile_and_execute ] -> t
val ends : unit -> unit
val call : t -> unit
val delete : t -> unit
type base
val nth : base -> pos:int -> t
val is_list : t -> bool
val gen_lists : len:int -> base
val begins : t -> mode:[ `compile | `compile_and_execute ] -> unit
val delete_lists : base -> len:int -> unit
val call_lists : ?base:base -> [ `byte of string | `int of int array ] -> unit