IntAt 370 gc/win32_threads.c PUSH4(IntAt,IntV0,IntV1,IntA0), PUSH4(IntA1,IntA2,IntA3,IntT0); IntAt 385 gc/win32_threads.c PUSH4(IntT10,IntT11,IntT12,IntAt);