module SYNC (TYPES, CHANNELS) is

process MAIN [SYNC: SYNCHRONIZE] is
   loop
      SYNC (BEGIN);
      SYNC (END)
   end loop
end process

end module