new_contents: import angr
  import nose
  import os
  
  test_location = os.path.join(os.path.dirname(__file__), '../../binaries/tests')
  
  def run_0div(arch):
      # check that we run in unicorn up to the zero-div site, fall back, try again in angr, and error correctly.
      p = angr.Project(os.path.join(test_location, arch, 'test_0div'))
      s = p.factory.entry_state(add_options=angr.options.unicorn)
      simgr = p.factory.simulation_manager(s)
      simgr.step(n=5)
      nose.tools.assert_equal(len(simgr.active), 1)
      simgr.step()
      nose.tools.assert_equal(len(simgr.errored), 1)
      nose.tools.assert_true(isinstance(simgr.errored[0].error, angr.errors.SimZeroDivisionException))
  
  def test_0div():
      yield run_0div, 'i386'
      yield run_0div, 'x86_64'
  
  if __name__ == '__main__':
      for func, arg in test_0div():
          func(arg)
  
subject: Add tests for correct behavior on divide-by-zero