Re: [chuck-users] severe ChucK v1.3.0.0 bug