ludus/test/cases/single_int.ld