def METHOD_NAME():
    p = angr.Project(os.path.join(test_location, "x86_64", "test_arrays"), auto_load_libs=False)
    cfg = p.analyses.CFGFast(normalize=True)
    state = p.factory.entry_state()
    state.register_plugin("loop_data", angr.state_plugins.SimStateLoopData())
    simgr = p.factory.simulation_manager(state)
    simgr.use_technique(angr.exploration_techniques.LoopSeer(cfg=cfg, functions="main", bound=5))
    simgr.run()
    assert "spinning" in simgr.stashes
    assert simgr.spinning[0].loop_data.back_edge_trip_counts[0x4005FD][0] == 6