Should the argument `x` here have type `int32_t`? ```c pack_int32(char *buf, int64_t x) ``` I understand that the current version will produce exactly the same result.