max(div(1, 1))
