test(x:bool[]):int
{
    return length(x)
}
//@PRACOWNIA
//@stop_after typechecker