module SELF_PROPAGATE_ID (TYPES, CHANNELS) is

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

end module