brun --strict -c '(0x1ff )'
FAIL: unimplemented operator 511
