どうやらallocatable属性だとdeallocateされて
pointer属性だとdeallocateされないみたいです