exc6, print all users in system to standard output