Indexed_HOAS_nat_bijection.elf