package Ġfoo . bar Ċ Ċ import Ġarrow . inject . annotations . Inject Ċ import Ġfoo . bar . annotations . Given Ċ Ċ @ Given Ġinternal Ġfun Ġn (): ĠInt Ġ= Ġ 4 2 Ċ Ċ @ Inject Ġfun Ġt (@ Given Ġx : ĠNumber ): ĠNumber Ġ= Ġx Ċ Ċ fun Ġbox (): ĠString Ġ{ ĊĠ Ġval Ġresult Ġ= Ġt () ĊĠ Ġreturn Ġif Ġ( result Ġ== Ġ 4 2 ) Ġ{ ĊĠĠĠ Ġ" OK " ĊĠ Ġ} Ġelse Ġ{ ĊĠĠĠ Ġ" Fail : Ġ$ result " ĊĠ Ġ} Ċ } Ċ