Изменена run_arm_evalScript.sml и раскомментирована