let minus_one = inject Int.minus_one