public final static void debug(String s){
  if (DEBUG)   debug.println("// Debug: " + s);
}

public final static void debug ( String s ) { if ( DEBUG ) debug . println ( "// Debug: " + s ) ; }
print a debug message on debug stream associated with this interpreter only if debugging is turned on .
