if quotation = "unicode" then
let text = TXtok (loc, x, expand_unicode_macro arg) in
{used = []; text = text; styp = STlid (loc, "string")}
if quotation = "unicode" then
let text = TXtok (loc, x, expand_unicode_macro arg) in
{used = []; text = text; styp = STlid (loc, "string")}