extPrecMul	extPrecMul__3j9aAELx8YtNMW0EwyRHEnQ	/home/runner/work/nim-waku/nim-waku/vendor/nim-stint/stint/private/uint_mul.nim	75	5
x0`gensym35498333	x0X60gensym35498333_	/home/runner/work/nim-waku/nim-waku/vendor/nim-stint/stint/private/uint_mul.nim	54	4
x1`gensym35498334	x1X60gensym35498334_	/home/runner/work/nim-waku/nim-waku/vendor/nim-stint/stint/private/uint_mul.nim	54	8
x2`gensym35498335	x2X60gensym35498335_	/home/runner/work/nim-waku/nim-waku/vendor/nim-stint/stint/private/uint_mul.nim	54	12
x3`gensym35498336	x3X60gensym35498336_	/home/runner/work/nim-waku/nim-waku/vendor/nim-stint/stint/private/uint_mul.nim	54	16
ul`gensym35498337	ulX60gensym35498337_	/home/runner/work/nim-waku/nim-waku/vendor/nim-stint/stint/private/uint_mul.nim	57	4
lo	lo__efY4IwWvSzRt9c47LqGNVZAuint_mul	/home/runner/work/nim-waku/nim-waku/vendor/nim-stint/stint/private/uint_mul.nim	19	5
x	x_0	/home/runner/work/nim-waku/nim-waku/vendor/nim-stint/stint/private/uint_mul.nim	19	8
result	result	/home/runner/work/nim-waku/nim-waku/vendor/nim-stint/stint/private/uint_mul.nim	19	0
uh`gensym35498338	uhX60gensym35498338_	/home/runner/work/nim-waku/nim-waku/vendor/nim-stint/stint/private/uint_mul.nim	58	4
hi	hi__efY4IwWvSzRt9c47LqGNVZA_2uint_mul	/home/runner/work/nim-waku/nim-waku/vendor/nim-stint/stint/private/uint_mul.nim	26	5
x	x_0	/home/runner/work/nim-waku/nim-waku/vendor/nim-stint/stint/private/uint_mul.nim	26	8
result	result	/home/runner/work/nim-waku/nim-waku/vendor/nim-stint/stint/private/uint_mul.nim	26	0
vl`gensym35498339	vlX60gensym35498339_	/home/runner/work/nim-waku/nim-waku/vendor/nim-stint/stint/private/uint_mul.nim	59	4
vh`gensym35498340	vhX60gensym35498340_	/home/runner/work/nim-waku/nim-waku/vendor/nim-stint/stint/private/uint_mul.nim	60	4
extPrecMul	extPrecMul__vOPa86RDryHp0lB9bNTb6KQ	/home/runner/work/nim-waku/nim-waku/vendor/nim-stint/stint/private/uint_mul.nim	141	5
z1`gensym37020514	z1X60gensym37020514_	/home/runner/work/nim-waku/nim-waku/vendor/nim-stint/stint/private/uint_mul.nim	106	6
x	x_0	/home/runner/work/nim-waku/nim-waku/vendor/nim-stint/stint/private/uint_addsub.nim	41	10