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