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))); }