package Ġmore Ċ Ċ import Ġjava . lang . String . format Ċ Ċ fun ĠInt . format ( digits : ĠInt ) Ġ= Ġformat ("% ${ digits } d ", Ġthis ) Ċ Ċ fun ĠInt . formatted Hex adecimal ( ĊĠĠĠ Ġdigits : ĠInt , ĊĠĠĠ Ġpadding : ĠChar Ġ= Ġ' 0 ' Ċ ) Ġ= Ġformat ("% $ padding ${ digits } x ", Ġthis ) Ċ Ċ fun ĠByte . formatted Hex adecimal ( ĊĠĠĠ Ġdigits : ĠInt , ĊĠĠĠ Ġpadding : ĠChar Ġ= Ġ' 0 ' Ċ ) Ġ= Ġformat ("% $ padding ${ digits } x ", Ġthis . toInt ())