sources := \
    ttcn/V2XInformationService_TypesAndValues.ttcn