class User(uid, Sockets, Course)


initially(x)
     uid := x
     Sockets := table()
     Course := ""
end