type status
-val initial_status: status
+val initial_status: unit -> status
-val process_unit: (status -> Aut.unit -> 'a) -> status -> Aut.unit -> 'a
+val process_command:
+ (status -> Aut.command -> 'a) -> status -> Aut.command -> 'a
val get_counters: (int -> int -> int -> int -> 'a) -> status -> 'a