# TODO ! for modifiable variables and for modifications
unsigned n = 0
bool b = false

ignore
func set_b
    bool value
code
    # TODO access to instance variables
    b = value
end

ignore
func count
returns
    unsigned value
code
    if b
        # TODO += and -= etc.
        n = n + 1
    else
        n = n - 1
    elif
    return n
end