srecord FoundInStep<A>(long step, A x) {}