Re: [chuck-dev] mini ChucK bug