Machine.LocalLocal state of the machine.
val get : 'a Bap_primus.Std.Primus.Machine.state -> 'a tget state extracts the state.
val put : 'a Bap_primus.Std.Primus.Machine.state -> 'a -> unit tput state x saves a machine state
val update : 'a Bap_primus.Std.Primus.Machine.state -> f:('a -> 'a) -> unit tupdate state ~f updates a state using function f.