../../Task/Input-loop/Standard-ML