g. nicholas d'andrea

I will find the link to this doc and post here.

I went through the solc-tooling channel and found some artifacts from this discussion (beginning [here](https://matrix.to/#/!nFrzmgewkRourOtwgQ:matrix.org/$spA1YHXg5LNZ27SnLV4rS-hs3jvfKrCdDX5d02yfRDE?via=matrix.org&via=t2bot.io&via=matrix.dapp.org.uk)), but doesn't look like I (or anyone else) made a HackMD. There are a couple...

Seems like generally specifying the entire layout is not unacceptable, but perhaps we can save some space by indicating certain kinds of stack modifications in part. Sounds like we still...

@cds-amal has offered to take a look at this. Thank you!

Could we do something with context-sensitive marking? Like, annotate some section of bytecode to require knowledge of type context.

One more possible other solution: ```solidity contract MyContract { storage("some-collection") { uint foo; uint bar; } storage("other-collection") { mapping (uint => bool) qux; MyStruct baz; } } ``` The advantage...