let_efficiency.sml finished