[tor-relays] tor_bug_occured_(): This line should not have been reached