Explicitly cast the length values down to an uint32 so that some