These login procedures are examples of how a login procedure can customize
a particular user's workspace.