sclass TripleWebWithSourceAndResult extends TripleWebWithSource {
  O result;
  
  *() {}
  *(S *source, O *result) {}
  
  O result() { ret result; }
}