LLL rewrite, at least as much as was previously implemented in Solidity.