Estoy casi seguro de que podemos lograr los mismos objetivos que EOF con las mejoras del compilador de Solidity.