module BYTES

  syntax Bytes ::= "b" String

endmodule