let negone = of_int (-1)