__get_user_x redefined