test():int
{
    return length({false, true} + {true, false})
}
//@PRACOWNIA
//@stop_after typechecker