// bool
//
// no true or false?

bool maybe0 = 3 < 1;
bool maybe1 = true;
bool maybe2 = false;
strand sample (int ui, int vi) {
    output int out =  1;
    update {
        out = 1;
        stabilize;
    }
}

initially [ sample(ui, vi) | vi in 0..0 , ui in 0..0 ];