(_, _) -> _

# shift left circular
# shift must be < 32 places

push 2
pow
mul
split
add

return