Symbol: KRML_CLITERAL