Symbol: ilb_full_nat