package Ġcom . hand truth . kom mon Ċ Ċ data Ġclass ĠMark ( val Ġfile : ĠString , Ġval Ġline : ĠInt ) Ġ{ ĊĠĠĠ Ġoverride Ġfun ĠtoString () Ġ= Ġ" ($ file :$ line )" ĊĠĠĠ Ġcompanion Ġobject Ċ } Ċ Ċ expect Ġfun ĠMark . Companion . here ( offset : ĠInt Ġ= Ġ 0 ): ĠMark Ċ