Hi!
> So we hacked a version that used the literealFrame instead, after  
> discussing this with
> Andreas, we now use the second-last literal Frame entry. The  
> reasoning is the following:
> The first one is already used for some primitives

I was not aware of this use of the first literal.
I was wondering in which case does it happen ? Can you point me out  
an example ?

Cheers,
Alexandre

-- 
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel  http://www.iam.unibe.ch/~bergel
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.