module PROPAGATE_1 (TYPES, CHANNELS) is

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

end module