I guess this was `7 * 1024 / 12 / 2` and then cut off instead of rounded to get an even number, but why and can we get a comment so it is easier to apprehend?