english version "1.0" identify "xyz" #: This module implements an RS-232 serial protocol. module example1 procedure main takes system system returns unsigned #: This procedure produces an RS-232 serial protocol test.