Re: [chuck-users] Double ChucK cleanup (bug)