* src/SDCCast.c (decorateType),