Is semantics/printScript.sml used anywhere? I think it is left over from version 1 having a built-in repl. I will delete it (and the to_string functions in semanticPrimitives) unless someone thinks it is worth keeping. Scott