solidity/test/libsolidity/semanticTests/storage/state_smoke_test.sol

contract test {
    uint256 value1;
    uint256 value2;
    function get(uint8 which) public returns (uint256 value) {
        if (which == 0) return value1;
        else return value2;
    }
    function set(uint8 which, uint256 value) public {
        if (which == 0) value1 = value;
        else value2 = value;
    }
}
// ====
// compileToEwasm: also
// ----
// get(uint8): 0x00 -> 0
// get(uint8): 0x01 -> 0
// set(uint8,uint256): 0x00, 0x1234 ->
// set(uint8,uint256): 0x01, 0x8765 ->
// get(uint8): 0x00 -> 0x1234
// get(uint8): 0x01 -> 0x8765
// set(uint8,uint256): 0x00, 0x03 ->
// get(uint8): 0x00 -> 0x03