main module CCODEOUT

use	CCODE

for c in ccode do
    out_integer (tty, c)
    out_string (tty, "	")
    out_string (tty, ccode[c])
    out_record (tty)

endfor

endmodule