val Ġi : ĠInt Ċ val Ġj Ġ= Ġ 1 Ċ val Ġs Ġ= Ġ"" Ċ fun Ġprocedure () Ġ{} Ċ fun Ġprocedure ( i : ĠInt ) Ġ{} Ċ fun Ġreturn Int One () Ġ= Ġ 1 Ċ fun Ġid ( i : ĠInt ) Ġ= Ġi Ċ fun Ġthrow Exception () Ġ= Ġthrow ĠException ()