brun --strict -c '(0x1fe (q . 2) (q . 3) (q . 4))))'
FAIL: unimplemented operator 510
