fun testGetField(a: Any): String {
  a as JCell<String> /*~> Unit */
  return a /*as JCell<String> */(super<JCell>).#value /*!! String */
}

fun testSetField(a: Any, b: Any) {
  a as JCell<String> /*~> Unit */
  b as String /*~> Unit */
  a /*as JCell<String> */(super<JCell>).#value = b /*as String */
}

