Execution output identical to trace file up to unimplemented CreateRecord call.