public static Obj StringToObj(string str)
{
int[] cps = Miscellanea.CodePoints(str);
int len = cps.Length;
Obj[] objs = new Obj[len];
for (int i = 0; i < len; i++)
{
objs[i] = IntObj.Get(cps[i]);
}
return(new TaggedObj(SymbTable.StringSymbId, new MasterSeqObj(objs)));
}