brun -n '(- (q . (1 2)) (q . (1 2)))'
FAIL: - requires int args (1 2)
