// SPDX-License-Identifier: GPL-3.0
pragma solidity >=0.0.0;

contract C layout at 0xABC {
    uint x;
    function f() public {
        x = x + 1;
    }
}
