What's important about the Keep is that it shows this is doable and results in improvements in safety and encoding in user code.