Text this: Replay debugging of non-deterministic executions in the Kernel-based Virtual Machine.