The Head() function in be_runtime.c does not correctly deal with cases like:
s = remove( s, length( s ) )
It does not detect that the target is the sequence being operated on.
The comparison was wrong. Also, the length and postscript handling were incorrect.