concrete Internal {
  @type create () -> (Internal)
  @value get () -> (Int)
}