Again I think you have a deep misunderstanding of how this works. This puts control into the hands of the everyday application developer! It ensures that the ap

Again I think you have a deep misunderstanding of how this works. This puts control into the hands of the everyday application developer! It ensures that the application developer knows what correctness, portability, and integrity guarantees their program has.