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