These are only used in places that use `write_unaligned`, so it's ok that the pointer might be misaligned.