I see a release r955 on source forge, with a fix
"for return value constraint crash".
The release is only for branches 6.4 and 7.0.
Similarly, previously, I noticed that the introduction of function "with-open-file" was not done in branch 6.3.
Is branch 6.3 still maintained ?