!     SafeSguarded-allocationThe size) parameter must match the size passed to . This is not checked.guarded-allocation# must be the last operation on the / and its associated array. This is not checked.  Safe3 guarded-allocationfArray creation with additional immutability check, electrical fence and pollution of uncleaned memory.IThe function checks that the array is not altered anymore after creation.guarded-allocationThere is not much we can debug here. We cannot add a fence since we do not copy the immutable array. We could debug more if we would implement  as a redirection to .guarded-allocationThe size) parameter must match the size passed to  . This is checked.guarded-allocation# must be the last operation on the   and its associated array. The size) parameter must match the size passed to  . This is checked.It may fail if the   was constructed using  from a  with a C finalizer.guarded-allocation{Correct size computation should also respect padding caused by alignment. However, mallocArray uses this simple arithmetic.  Safe          /guarded-allocation-0.0.1-3tLXY5tZjylDORs8DavIab#Foreign.Marshal.Array.Guarded.Plain#Foreign.Marshal.Array.Guarded.DebugForeign.Marshal.Array.Guarded MutablePtrcreateallocanewwithMutablePtrfreeze freezeInplacethaw thawInplacebaseGHC.ForeignPtr ForeignPtr arraySizeAux