\input docstrip

\askforoverwritefalse

\generate{
 \file{traffic-light-protocol.sty}{
  \from{traffic-light-protocol.dtx}{package}
}}

\endbatchfile
