a simple network management protocol implementation in standard ml