明示的nothing代入しなくてもプロシージャから抜ければ勝手にメモリから解放されるんじゃないの？