; 35   :     start = __rdtsc();

	rdtsc
	shl	rdx, 32					; 00000020H
	or	rax, rdx
	mov	rcx, rax

; 36   :     for( r = 1; r < ( s >> 1 ); ++r ) {
; 37   :             ( gsm = s - ( s % lcm( r, 4096 ) ) );
; 38   :     }
; 39   :     end = __rdtsc();

	rdtsc
	shl	rdx, 32					; 00000020H