Symbol: ilb_list_nat