Any type-changing store to allocated storage has this property in C.