module IN_OUT_1 (TYPES, CHANNELS, CONSTANTS) is

process MAIN [P_IN, P_OUT: PROBABILISTIC] is
   loop
      alt
         P_IN (1 of PID, P_V)
      []
         P_OUT (1 of PID, 1_MINUS (P_V))
      end alt
   end loop
end process

end module