(bind-func xtm_addition (lambda (b:i32 a:Rational) (Rat (+ (tref a 0) (* (tref a 1) (i32toi64 b))) (tref a 1))))