Symbol: get_first_held_lock