src/model/user.lisp