integer-coded example (ilp.hs)