val finishedN: string val finished: T

   val finishedN: string val finished: T

   val failedN: string val failed: T

   val failedN: string val failed: T

   val serialN: string

   val serialN: string

   val initN: string

   val initN: string

   val statusN: string

   val statusN: string

   val writelnN: string

   val writelnN: string

   val tracingN: string

   val tracingN: string

   val warningN: string

   val warningN: string

   val errorN: string

   val errorN: string

   val protocolN: string

   val protocolN: string

 val serialN = "serial";

 val serialN = "serial";

 val initN = "init";

 val initN = "init";

 val statusN = "status";

 val statusN = "status";

 val writelnN = "writeln";

 val writelnN = "writeln";

 val tracingN = "tracing";

 val tracingN = "tracing";

 val warningN = "warning";

 val warningN = "warning";

 val errorN = "error";

 val errorN = "error";

 val protocolN = "protocol";

 val protocolN = "protocol";

 val sendbackN = "sendback";

 val sendbackN = "sendback";

 val paddingN = "padding";

 val paddingN = "padding";

 val padding_line = (paddingN, lineN);

 val padding_line = (paddingN, lineN);

 val dialogN = "dialog";

 val dialogN = "dialog";

 (* protocol message functions *)

 (* protocol message functions *)

 val functionN = "function"

 val functionN = "function"