sig val read_passwd : string -> string end