INSTANCE list_type#23;
corresponds_to = {correspondence#1};
element_type = simple_type(string_type);
lower_bound = integer_literal#100;
upper_bound = built_in_constant#97;
is_unique = false;
END_INSTANCE;
INSTANCE list_type#24;
corresponds_to = {correspondence#1};
element_type = simple_type(string_type);
lower_bound = integer_literal#101;
upper_bound = built_in_constant#98;
is_unique = false;
END_INSTANCE;