Debugging code for set_user.