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