"#pragma once" is not parsed

[jameshfisher]

To get VeriFast to continue, I have had to replace all of these with old-style ifndef etc wrappers. It would be much better if VeriFast supported this. I'm trying to annotate some C code at work, where I can't really bend all the code to VeriFast's will with regard to syntax.

[bgamari]

Indeed I also ran into this immediately when trying to apply Verifast to a real-world codebase.