exception CodeTooLarge

type status

val assembly: ASM.labelled_instruction list -> BitVectors.byte list

val initialize: status

val load: BitVectors.byte list -> status -> status

exception Hold  (* to be raised to stop execution *)

(* the callback function is used to observe the execution
   trace; it can raise Hold to stop execution. Otherwise
   the processor never halts. *)
val execute: (status -> unit) -> status -> status