record R(String name) {
  R(String name) {
    <selection>"_"</selection> + name;
    this.name = name;
  }
}