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