module M {
    fun t0(cond: bool) {
        while (cond) 0;
        while (cond) false;
        while (cond) { 0x0 };
        while (cond) { let x = 0; x };
        while (cond) { if (cond) 1 else 0 };
    }
}
