I'm curious about a particular implementation in kernel lib, why is the state variable in `obj/user.c` a mapping and not just an int? I'm guessing this also might answer my questions about where the code for disconnecting duplicate users are (if I log in with the `admin` user when already logged in).