src/models/user.lisp