@ 261106.1
current
val of_script : Script.script -> string