tests/div32-high-divisor.data - third_party/github.com/iovisor/ubpf - Git at Google

 -- asm
 mov %r0, 12
 lddw %r1, 0x100000004
 div32 %r0, %r1
 exit
 -- result
 0x3
	-- asm
	mov %r0, 12
	lddw %r1, 0x100000004
	div32 %r0, %r1
	exit
	-- result
	0x3