(bind-func xtm_modulo (lambda (a:Rational b:i64) (xtm_modulo:[Rational,Rational,Rational]* a (Rat b 1))))