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);