Возвращение к оригинальной версии arm_evalLib.sml