sclass TripleWebWithSource extends TripleWeb {
  S source;
  
  *() {}
  *(S *source) {}
  
  S source() { ret source; }
}