-- Echo either the contents of the file containing the configured
-- serial device name, or a default name.

const conf_file = 'vc-comdev.conf';
[com_dev] := split (getfile conf_file ? '/dev/ttyS0');
putchar (com_dev);