sample.c: Polyhedron_Sample: use isl_val