path: root/lib/ocaml_rts/spec.ml

let zmain () = ()

let initialize_registers () = ()