isl_int.h revision d36da59d
1