import angr, monkeyhex

proj = angr.Project('fauxware')
binloaded = proj.loader
state = proj.factory.entry_state()
print(state.solver.BVV(proj.entry,32))
simgr = proj.factory.simulation_manager(state)
print(simgr.active)