   0  int_is_true %i0 -> %i0
   3  int_return %i0
