+ if (Compiler.PRINTREPAIRS) {
+ if (intindex==null) {
+ cr.outputline("printf(\"0x%x."+fd.toString()+
+ "=%d\\n\","+subvd.getSafeSymbol()+","+right.getSafeSymbol()+");");
+ } else {
+ cr.outputline("printf(\"0x%x."+fd.toString()+
+ "[%d]=%d\\n\","+subvd.getSafeSymbol()+
+ ","+indexvd.getSafeSymbol()+","+right.getSafeSymbol()+");");
+ }
+ }
+
+