format_unsigned64
r += ", st_size = " + format_unsigned64(s.st_size);
string format_unsigned64(uint64 value);