; 1073741823 * 2 < 2^31, and will not overflow.
big = immi 1073741823
two = immi 2

res = muli big two

reti res