static S g0() {
  ret last(genLog());
}