test()
{
    while true | false {
    }
}

//@PRACOWNIA
//@stop_after typechecker