Function kani::concrete_playback_run

pub fn concrete_playback_run<F: Fn()>(_: Vec<Vec<u8>>, _: F)

NOP concrete_playback for type checking during verification mode.