../../Task/DNS-query/Standard-ML