Hi, grep -rs __bss_end__ * |wc 215 1011 11552 grep -rs "__bss_end " * |wc 39 195 2175 I think we should standardise on one or other of these. To me it feels like __bss_end is correct, since we have __bss_start and none of the other symbols have a __ at the end. Comments? If no objections then I will do a patch. Regards, SImon