brun -c '(/ 2 5)' '(-80001 73)'
FAIL: div operator with negative operands is deprecated (0xfec77f 73)
