// ĠFILE : ĠConst s . java Ċ public Ġinterface ĠConst s Ġ{ Ċ ĉ short Ġvalue Ġ= Ġ 5 Ċ } Ċ Ċ // ĠFILE : ĠAnn . java Ċ public Ġ@ interface ĠAnn Ġ{ Ċ ĉ short Ġvalue (); Ċ } Ċ Ċ // ĠFILE : ĠA aa . kt Ċ @ Ann ( Consts . value ) Ċ class ĠA aa Ċ