contract C {
    function f() public pure returns (int, int) {
        int x = int((-(-5.2 % 3)) * 5);
        int t = 5;
        return (x, (-(-t % 3)) * 5);
    }
}
// ====
// compileToEwasm: also
// ----
// f() -> 11, 10
