`define EOF 32'hFFFF_FFFF `define STDIN 32'h8000_0000 module cat; integer c,i; initial begin c = $fgetc(`STDIN); i = 1; while (c != `EOF) begin $write("%d", c); c = $fgetc(`STDIN); end end endmodule