;; Test non-commutative operators
(bindex (x y) (- (% x y) (/ x y)))