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