* src/SDCCglue.c (printIvalArray): fixed bug #984229, thanks to Phuah