removed asmScript.sml