module m1: input T, W; output V, Z; present T then emit V end || present W then emit Z end end module module run2: input S, U; output A, B; run m1 [ signal S / T, U / W, A / V, B / Z ]; end module