(RENAME <: subtypes)
(RENAME SUBTYPE subtypes) ; used in ESC/Modula-3 benchmarks
(RENAME |@true| Smt.true)
(RENAME |@false| Smt.false)
(RENAME select select1)
(RENAME store store1)
(RENAME / divide)
(RENAME % modulo)
(RENAME * multiply)

(VFUN and BOOL BOOL)
(VFUN or  BOOL BOOL)
(VFUN xor BOOL BOOL)

(FUN not  BOOL BOOL)

(FUN implies BOOL BOOL BOOL)
(FUN iff     BOOL BOOL BOOL)

(FUN true  BOOL)
(FUN false BOOL)

(VFUN distinct Int BOOL)

(FUN <  Int Int BOOL)
(FUN >  Int Int BOOL)
(FUN <= Int Int BOOL)
(FUN >= Int Int BOOL)
(FUN +  Int Int Int)
(FUN -  Int Int Int)
(FUN *  Int Int Int)
(FUN divides  Int Int Int)
(FUN modulo  Int Int Int)
(FUN ~  Int Int)

(FUN is Int Int Int)

(FUN Smt.true Int)
(FUN Smt.false Int)

(FUN int_2147483647 Int)
(FUN int_4294967295 Int)
(FUN int_m2147483648 Int)
(FUN int_9223372036854775807 Int)
(FUN int_m9223372036854775808 Int)
(FUN int_18446744073709551615 Int)
(FUN InRange Int Int BOOL)
(FUN subtypes Int Int BOOL)


; ESC/Modula-3
(KILL (ORDER SUBTYPE_STRICT subtypes))
(FUN CONCVARSYM Int Int)


(FUN select1 Int Int Int) 
(FUN store1  Int Int Int Int)
(FUN select2 Int Int Int Int) 
(FUN store2  Int Int Int Int Int)

;(CAST int_to_object Int Int)
;(CAST object_to_int Int Int)
;(CAST array_to_object Array Int)
;(CAST object_to_array Int Array)