Symbol: in_dcmp