VAR x = 0
{true:
    - ~ x = 5
}
{x}