PROCEDURE Users( VAR list: UserList); PROCEDURE GetUser(list: UserList; VAR user: ARRAY OF CHAR): BOOLEAN; PROCEDURE Known( user: ARRAY OF CHAR): BOOLEAN;