() accept_i(int i) { }
() accept_b(byte b) { }

() f()
{
    var int i;
    byte b;

    var int^ ip = @i;
    byte^ bp = @b;

    i = bp^;
    ip^ = b;
    ip^ = bp^;

    i = bp^ + 1;

    accept_i(ip^);
    accept_b(bp^);
    accept_i(ip^ + 1);
    accept_b(bp^ + 1);

    accept_i(bp^);
    accept_i(bp^ + 1);

    var bool res;
    res = (i < bp^);
    res = (ip^ > bp^);
}