Symbol: plic_match