val checkout : string -> string