Symbol: wait_for_matching_downcall