value path_library : string ref
;;
value maxint_byte : int
  and minint_byte : int
  and maxint_short : int
  and minint_short : int
;;
value default_used_interfaces : (string * string list) list
  and default_exec_name: string
;;
value toplevel_input_prompt : string
  and error_prompt : string
;;
