module ABRO :

input A, B, R;
output O;

loop
  [
    await A
  ||
    await B
  ];
  emit O
each R

end module