public final [ResolvedTo(BODY_RESOLVE)] fun box(): R|kotlin/Int| {
    ^box Int(0)
}
