(actually, it looks like we use `+= 1` most places in the main loop as well...but I think stylistically we generally prefer `++`)