pub fn concrete_playback_run<F: Fn()>(_: Vec<Vec<u8>>, _: F)
NOP concrete_playback for type checking during verification mode.
concrete_playback