new_user_name

<new_user_name> ::=
  <user_name>