(_, _) -> _

push 2
pow
swap 1
div_mod
pop 1

return