class Diag {
	static void threadPrint(String what) {
		System.err.println(what + ": " + Thread.currentThread().getName());
	}
}