: VALUE CHR2FIX(char x)

