def METHOD_NAME():
    p = angr.Project(os.path.join(test_location, "x86_64", "constant_loopseer"), auto_load_libs=False)
    cfg = p.analyses.CFGFast(normalize=True)
    state = p.factory.entry_state()
    simgr = p.factory.simulation_manager(state)
    simgr.use_technique(
        angr.exploration_techniques.LoopSeer(cfg=cfg, functions="main", bound=5, limit_concrete_loops=False)
    )
    simgr.run()
    assert simgr.deadended[0].regs.eax.concrete
    val = simgr.deadended[0].solver.eval_one(simgr.deadended[0].regs.eax)
    assert val == 420