Lean version of replay scripts that run inside a VM