module PROPAGATE_ID (TYPES, CHANNELS) is

process MAIN [PROPAGATE: PROPAGATE] (ID: PID) is
   loop
      alt
         i;
         PROPAGATE (ID, 0)
      []
         i;
         PROPAGATE (ID, 1)
      end alt
   end loop
end process

end module