Add size_of annotation to help CBMC's allocator #2395
+46
−61
We went looking everywhere, but couldn’t find those commits.
Sometimes commits can disappear after a force-push. Head back to the latest changes here.