Implemented recent_xct(), add_xct() and helper function update_user_position().