There is no need for buffer bounds checking if we check the total message size