What validation approaches are on the table? A syscall extractor + LLVM libFuzzer? Harnessing KVM/QEMU for syscall replay? It’d be incredible to see how practical these tests are integrated into CI pipelines.