// Ġ! DIAG NO ST ICS : Ġ- UNUSED _ PARAMETER , Ġ- DE PREC ATION Ċ Ċ external Ġclass ĠA Ġ{ ĊĠĠĠ Ġclass ĠB Ġ{ ĊĠĠĠĠĠĠĠ Ġclass ĠC Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ@ native Invoke ĊĠĠĠĠĠĠĠĠĠĠĠ Ġfun Ġfoo () Ġ{ Ġdefined Ex tern ally Ġ} ĊĊĠĠĠĠĠĠĠĠĠĠĠ Ġ@ native Invoke ĊĠĠĠĠĠĠĠĠĠĠĠ Ġfun Ġinvoke ( a : ĠString ): ĠInt Ġ= Ġdefined Ex tern ally ĊĠĠĠĠĠĠĠ Ġ} ĊĊĠĠĠĠĠĠĠ Ġobject Ġobj Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ@ native Invoke ĊĠĠĠĠĠĠĠĠĠĠĠ Ġfun Ġfoo () Ġ{ Ġdefined Ex tern ally Ġ} ĊĊĠĠĠĠĠĠĠĠĠĠĠ Ġ@ native Invoke ĊĠĠĠĠĠĠĠĠĠĠĠ Ġfun Ġinvoke ( a : ĠString ): ĠInt Ġ= Ġdefined Ex tern ally ĊĠĠĠĠĠĠĠ Ġ} ĊĊĠĠĠĠĠĠĠ Ġcompanion Ġobject Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ@ native Invoke ĊĠĠĠĠĠĠĠĠĠĠĠ Ġfun Ġfoo () Ġ{ Ġdefined Ex tern ally Ġ} ĊĊĠĠĠĠĠĠĠĠĠĠĠ Ġ@ native Invoke ĊĠĠĠĠĠĠĠĠĠĠĠ Ġfun Ġinvoke ( a : ĠString ): ĠInt Ġ= Ġdefined Ex tern ally ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ }