Listing 3: Program topology.

topology IntervalLink   // link from PIUnit
 {                      //    to each IntervalUnit
  PIUnit[0] -> IntervalUnit[*];
 }