INSTANCE formal_parameter#7; name = "V"; tipe = simple_type(generic_type); is_optional = false; the_function = built_in_function#6; (* set indirectly *) END_INSTANCE;