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