Rob Springer

Looks like the attached patch fixed both issues. Closing!

I think this is just a matter of the code RET_CHECK'ing when it should return an error.

Part of this: enable proc-scoping of constants, such that we can define a default (but overrideable) initial state for the proc that doesn't leak out (e.g. if we define multiple...

I've a patch out (internally) to enable specifying constants as initial values, but this will need to be expanded to support ColonRef'ed constants.