まぁメモリーリークをゼロにするのは無理だからね、バグじゃなくても動的にメモリを確保すればどうしてもね
ガベージコレクション頑張っても一度確保したページは小さくできないはずだけどMacOSは出来るのか?
UNIX系はsbrk(2)したらMMUのPTEが追加されてしまうから見た目は変っても実際には解放できないよね…