/* A user identifier. */