val command_line_options : (string * Arg.spec * string) list
type addressing_mode =
| Ibased of string * int
| Iindexed of int
| Iindexed2 of int
| Iscaled of int * int
| Iindexed2scaled of int * int
and float_operation =
| Ifloatadd
| Ifloatsub
| Ifloatmul
| Ifloatdiv
val allow_unaligned_access : bool
val division_crashes_on_overflow : bool