let zmain () = ()

let initialize_registers () = ()