How to use destroy and free.

[Alain De Vod]

Is this a correct program to explicit call destroy & free ?

```
void main(){
     int[] i=new int[10000];
     import object: destroy;
     destroy(i);
     import core.memory: GC;
     GC.free(GC.addrOf(cast(void *)(i.ptr)));
}
```