* src/SDCCast.c (createIvalCharPtr),