sclass LispStatement {
  S globalID;
  Lisp term;
  
  *() {}
  *(S *globalID, Lisp *term) {}
  *(Lisp *term) { globalID = aGlobalID(); }
}