Symbol: in_pcbdetach_tag