Byte literals!

It's a little clearer that the `[0, 0, 0, 1]` is meant to be incremented separately if they're distinct, but it doesn't matter too much as we don't really change this ever.