external Ġinterface ĠI Ċ Ċ fun Ġbox ( a : ĠAny , Ġb : ĠAny ): ĠPair < I , ĠI ?> Ġ{ ĊĠĠĠ Ġreturn ĠPair ( <! UN CHECK ED _ CAST _ TO _ NATIVE _ INTERFACE !> a Ġas ĠI <! >, Ġ<! UN CHECK ED _ CAST _ TO _ NATIVE _ INTERFACE !> b Ġas ? ĠI <! >) Ċ }