so now we know that postcount is coded as a 32-bit integer