Add a comment
New file: semax_linking
Further work on semax->linking proofs.
Merge branch 'master' of https://github.com/PrincetonUniversity/VST