*** 106,116 **** void date_stamp(bool guard, const char* prefix, const char* suffix); // A simplified call that includes a suffix of ": " void date_stamp(bool guard) { date_stamp(guard, "", ": "); } - void gclog_stamp(); // portable printing of 64 bit integers void print_jlong(jlong value); void print_julong(julong value); --- 106,115 ----