* src/SDCCglue.c, src/SDCCast.c: