writef("%d %d", len, lines.length); // 0, 100
line[len] = "hoge"; // ArrayBoundsError
だったらうまくいったと言いたかった．