module SELF_PROPAGATE_1 (TYPES, CHANNELS) is

process MAIN [SELF_PROPAGATE: SELF_PROPAGATE] is
   loop
      var B: BIT in
         B := any BIT;
         i;
         SELF_PROPAGATE (1 of PID, B)
      end var
   end loop
end process

end module