concrete Getter2 {
  @type getValue () -> (Int)
}