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