52 Value* StringValue(char* str) {  in StringValue()  function
69         return StringValue(strdup(""));  in ConcatFn()
99     return StringValue(result);  in ConcatFn()
121             return StringValue(cond);  in IfElseFn()
162     return StringValue(strdup(""));  in AssertFn()
172     return StringValue(val);  in SleepFn()
185     return StringValue(strdup(""));  in StdoutFn()
196         return StringValue(left);  in LogicalAndFn()
208         return StringValue(left);  in LogicalOrFn()
218     return StringValue(strdup(bv ? "" : "t"));  in LogicalNotFn()
234     return StringValue(result);  in SubstringFn()
249     return StringValue(result);  in EqualityFn()
264     return StringValue(result);  in InequalityFn()
305     return StringValue(strdup(result ? "t" : ""));  in LessThanIntFn()
324     return StringValue(strdup(name));  in Literal()