class ĠLazy Property ( val Ġinitializer : Ġ() Ġ-> ĠInt ) Ġ{ ĊĠĠĠ Ġvar Ġvalue For Checking First Access : ĠInt ? Ġ= Ġnull ĊĠĠĠ Ġval Ġlazy : ĠInt ĊĠĠĠĠĠĠĠ Ġget () Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġif Ġ( value For Checking First Access Ġ== Ġnull ) Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġvalue For Checking First Access Ġ= Ġinitializer () ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠ Ġreturn Ġrequire NotNull ( value For Checking First Access ) ĊĠĠĠĠĠĠĠ Ġ} Ċ } Ċ