test()
{
    while true & false {
    }
}

//@PRACOWNIA
//@stop_after typechecker