This comment is now incorrect since the size is an argument which is sometimes smaller than 8192.