Combined macros#9

stogaru merged 3 commits intoverify/ptr_mutstogaru/verify-rust-std:verify/ptr_mutfrom

verify/ptr_mut_combinedstogaru/verify-rust-std:verify/ptr_mut_combinedCopy head branch name to clipboard