CML Buffers with Variable Maximum Lengths buffer.cm CM description file buffer.sig signature BUFFER: CML buffers with variable maximum lengths buffer.sml structure Buffer: CML buffers with variable maximum lengths main.sig signature MAIN: main processing main.sml structure Main: main processing