Clean up examples/sanitizer.lua