public final class FinalFieldAsVal : R|kotlin/Any| {
    public final field f: R|kotlin/Int|

}
