provides a unique id for a newly created user concode_field_sep AuctionHouse auctionHouse concode_elem_sep ArrayList<Item> items concode_elem_sep boolean SYSTEM_MESSAGES concode_elem_sep ArrayList<User> users concode_field_sep void mail concode_elem_sep Integer getNextItemId concode_elem_sep ArrayList<User> getUsers concode_elem_sep void advanceDay concode_elem_sep Item createItem concode_elem_sep void giveItemToUser concode_elem_sep User createUser concode_elem_sep void mailTo concode_elem_sep AuctionHouse getAuctionHouse
Integer function ( ) { int loc0 = World . users . loc0 ( ) ; loc0 ++ ; return loc0 ; }