  func f(x): int {
    # fall-through return value is absent-null
  }
  $y=f($x)

