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