mininux_replay_manager
