module ZERO_ONE_1 (TYPES, CHANNELS, CONSTANTS) is

process ALT [P_ZERO, P_ONE: PROBABILISTIC] (P: PROB) is
   alt
      P_ZERO (1 of PID, P)
   []
      P_ONE (1 of PID, 1_MINUS (P))
   end alt
end process

process MAIN [P_ZERO, P_ONE: PROBABILISTIC] is
   ALT [...] (P_H);
   loop
      alt
         i;
         ALT [...] (0.5 of PROB)
      []
         i;
         ALT [...] (P_H)
      end alt
   end loop
end process

end module