/* syntax version 1 */
declare $x as List<String?>;
select ListLength($x), $x[0], $x[1], $x[2], $x[3];
