val initial_status: status
-val process_item: (status -> Aut.item -> 'a) -> status -> Aut.item -> 'a
+val process_entity: (status -> Aut.entity -> 'a) -> status -> Aut.entity -> 'a
-val get_counters: (int -> int -> int -> 'a) -> status -> 'a
+val get_counters: (int -> int -> int -> int -> 'a) -> status -> 'a