ml changing to TEXT_IO