@concretized_args(account='<STR_LIT>')<EOL><INDENT>def EXTCODECOPY(self, account, address, offset, size):<DEDENT>
extbytecode = self.world.get_code(account)<EOL>self._allocate(address + size)<EOL>for i in range(size):<EOL><INDENT>if offset + i < len(extbytecode):<EOL><INDENT>self._store(address + i, extbytecode[offset + i])<EOL><DEDENT>else:<EOL><INDENT>self._store(address + i, <NUM_LIT:0>)<EOL><DEDENT><DEDENT>
Copy an account's code to memory