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