type t val load : string -> bool -> t