__put_unaligned_be32
__put_unaligned_be32(val >> 32, p);
__put_unaligned_be32(val, p + 4);
__put_unaligned_be32(val, p);