The team prepared valuable input to the discussion on @solidity_lang libraries "compilation to EOF" issues.
notes.ethereum.org/@ipsilon/eof_s…
It's worth reading and decide if it's complicated or easy.
- A short explainer of why JUMPDEST-analysis exists by @chfast. It makes code-compilation feasible (fast JIT/AOT execution) and helps preventing certain kind of security problems.
- Ipsilon has heard your feedback about introspection bans in EOF. In addition to the current plan of record (which we still support) we have three options that do not include the bans which will be discussed at ACDE on Thursday: notes.ethereum.org/@ipsilon/eof_f… See you at Eth O'Clock!
- The contract size limit is nothing compared to Twitter's character limit. Here are Ipsilon members answering EOF questions in the Ethereum Magicians Forum:

