contract A {
    function f() public virtual returns (uint256 r) {
        return 1;
    }
}


contract B is A {
    function f() public virtual override returns (uint256 r) {
        function() internal returns (uint) x = super.f;
        return x() | 2;
    }
}


contract C is A {
    function f() public virtual override returns (uint256 r) {
        function() internal returns (uint) x = super.f;
        return x() | 4;
    }
}


contract D is B, C {
    uint256 data;

    constructor() {
        function() internal returns (uint) x = super.f;
        data = x() | 8;
    }

    function f() public override (B, C) returns (uint256 r) {
        return data;
    }
}
// ====
// compileToEwasm: also
// ----
// f() -> 15
