module 0x42::M {
    fun t(cond: bool) {
        loop { break 0 };
    }
}