test(x:int[]):int[]
{
    return length(x)
}
//@PRACOWNIA
//@should_not_typecheck