How to use destroy and free.

[Alain De Vod via Digitalmars-d-learn]

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)));
}
```