package Ġio . def itr ack . claim able Ċ Ċ import Ġio . def itr ack . protocol . Protocol Service Ċ Ċ interface ĠClaim able Service Ġ: ĠProtocol Service Ġ{ ĊĠĠĠ Ġsuspend Ġfun Ġclaim ables ( address : ĠString ): ĠList < Claim able > Ġ= Ġempty List () Ċ }