import angr

FIND_ADDR = 0x00400ad2 
AVOID_ADDR = 0x00400ae0 

def main():
  proj = angr.Project('high_quality_checks', load_options={"auto_load_libs": False})

  sm = proj.factory.simulation_manager()
  sm.explore(find=FIND_ADDR, avoid=AVOID_ADDR)

  return sm.found[0].posix.dumps(0)

if __name__ == '__main__':
  print(repr(main()))