let x -- xxxxxxxxxx xxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxx
    : Natural
    = 0

let y -- yyyyyyyyyy yyyyyyyyyyyyyyyyy yyyyyyyyyyyyyyyyy
      -- yyyyyyyyyyyyyy yyyyyyyyyyyyyyyyyyyyyyy
    : Natural
    = 1

in x + y
