How to free memory ater use of "new" to allocate it.

[Alain De Vos]

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