+#ifdef DEBUG_IMAGE_MARKING
+if (symbol)
+{
+ printf("CreateELFReloc: symbol-svalue = $%08X\n", symbol->svalue);
+}
+
+printf("CreateELFReloc: deposited value = $%08X\n", GETBE32(secBuf + r_offset, 0));
+
+#endif
+//Turns out this is pretty much bollocks. So now we punt all the time :-)
+//N.B.: Once this is proved out, this will go for good.
+// if (symbol != NULL)
+// r_addend = symbol->svalue; // Mark offset into section
+// else