val dump_status : status -> unit
val get_option : status -> StringMap.key -> option_value
val get_string_option : status -> StringMap.key -> string
val dump_status : status -> unit
val get_option : status -> StringMap.key -> option_value
val get_string_option : status -> StringMap.key -> string