// Ġ! DIAG NO ST ICS : Ġ- UNUSED _ PARAMETER Ċ Ċ fun Ġunreachable 0 () Ġ{ ĊĠĠĠ Ġreturn ĊĠĠĠ Ġ<! UN RE ACH ABLE _ CODE !> return Ġtodo () <! > Ċ } Ċ Ċ fun Ġunreachable 2 () Ġ{ ĊĠĠĠ Ġreturn ĊĠĠĠ Ġ<! UN RE ACH ABLE _ CODE !> val Ġa Ġ= Ġtodo () <! > Ċ } Ċ Ċ fun Ġunreachable 3 () Ġ{ ĊĠĠĠ Ġreturn ĊĠĠĠ Ġ<! UN RE ACH ABLE _ CODE !> bar ( todo ()) <! > Ċ } Ċ Ċ fun Ġunreachable 4 ( array : ĠArray < Any >) Ġ{ ĊĠĠĠ Ġreturn ĊĠĠĠ Ġ<! UN RE ACH ABLE _ CODE !> array [ todo ()] <! > Ċ } Ċ Ċ fun Ġbar ( a : ĠAny ) Ġ{} Ċ fun Ġtodo (): ĠNothing Ġ= Ġthrow ĠException () Ċ