[1 of 5] Processing p
  [1 of 1] Compiling H[sig]           ( p/H.hsig, nothing )
[2 of 5] Processing q
  [1 of 1] Compiling H[sig]           ( q/H.hsig, nothing )
[3 of 5] Processing pq0
  [1 of 1] Compiling H[sig]           ( pq0/H.hsig, nothing )
[4 of 5] Processing pq1
  [1 of 1] Compiling H[sig]           ( pq1/H.hsig, nothing )
[5 of 5] Processing pq2
  [1 of 1] Compiling H[sig]           ( pq2/H.hsig, nothing )