Entity into_ethernet_bytes_th
entity into_ethernet_bytes_th(clk: clock, rst: bool, header: Option<ToTransmit>, data: Option<uint<8>>) -> EthernetBytesTHOutentity into_ethernet_bytes_th(clk: clock, rst: bool, header: Option<ToTransmit>, data: Option<uint<8>>) -> EthernetBytesTHOut