r8 = 20945
r5 = -2016389426
r0 = -20
r0 = -2000000000
r8 = -16389426
r5 = -241843433
r0 = -2
r0 = -200000000
r8 = -41843433
r5 = 197631612
r0 = 1
r0 = 100000000
r8 = 97631612
r5 = 191415949
r0 = 1
r0 = 100000000
r8 = 91415949
r5 = -1485690214
r0 = -14
r0 = -1400000000
r8 = -85690214
r5 = -642274125
r0 = -6
r0 = -600000000
r8 = -42274125
r5 = -925868888
r0 = -9
r0 = -900000000
r8 = -25868888
r5 = 460019977
r0 = 4
r0 = 400000000