Update user_state.c