
(* These are all the options parsed by the module *)
val infile: string
val verbose: bool
val verbose_front: bool
val verbose_tree: bool
val run_tests: bool
val use_i0: bool
val use_i1: bool
val use_i2: bool
val use_i3: bool
val use_i4: bool
val use_i4x86: bool	      
val show_compiled: bool
val stack_max: int
val heap_max: int

 These are all the options parsed by the module 

val infile: string
val verbose: bool
val verbose_front: bool
val verbose_tree: bool
val run_tests: bool
val use_i0: bool
val use_i1: bool
val use_i2: bool
val use_i3: bool
val use_i4: bool
val use_i4x86: bool	      
val show_compiled: bool
val stack_max: int
val heap_max: int
