Worth a comment explaining that, unlike every other `write_*` function, this one doesn't do endianness conversion?