IntT9             373 gc/win32_threads.c 	  PUSH4(IntT9,IntK0,IntK1,IntS8);
IntT9             384 gc/win32_threads.c 	  PUSH4(IntA0,IntA1,IntA2,IntA3), PUSH4(IntA4,IntA5,IntT8,IntT9);