Use mem.require in mload, mstore & mstore8