> Matthew, any interest in writing up our limit check stuff for ISMM? Sure. I checked in a limit-check module into CVS with a skeleton and a copy of the last set of email notes. > Plus, we could point out that interesting > problems still remain, like your pathalogical example. Also, dealing with allocating primitives besides arrays (i.e., fixing intInf's to not require the flattener).