module TALLY (TYPES) is

process MAIN [TALLY: any] is
   loop
      par
         TALLY (1 of PID, "X", "X")
      ||
         TALLY (2 of PID, "X", "X")
      ||
         TALLY (3 of PID, "X", "X")
      ||
         TALLY (4 of PID, "X", "X")
      end par
   end loop
end process

end module