brun -c '(/ 2 5)' '(80001 0)'
FAIL: div with 0 0x013881
