Like .checkHeader except this version assumes the first int has already been read and validated from the input.