object
  method default_user_name : string option
  method password_of_user_name : string -> string
end