INSTANCE formal_parameter#21; name = "V"; tipe = aggregation_type#3; is_optional = false; the_function = built_in_function#18; (* set indirectly *) END_INSTANCE;