do not write unsigned long long as int as this may elide the upper 32 bit words