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