class B : Java1 {
  constructor() /* primary */ {
    super/*Java1*/()
    /* <init>() */

  }

  override fun removeAt(index: Int): Int {
    return 1
  }

}

fun test(b: B) {
  b.<get-size>() /*~> Unit */
  b.add(i = 1, integer = 1)
  b.add(element = 1) /*~> Unit */
  b.get(index = 1) /*~> Unit */
  b.remove(element = 1) /*~> Unit */
  b.removeAt(index = 1) /*~> Unit */
  b.removeFirst<@FlexibleNullability Int?>() /*~> Unit */
}
