Solidity for multiple files and multiple contracts per file.

Settled offline: We want secure implementation that does not do too many copies.