let x
    -- xxxxxxxxxx xxxxxxxxxxxxxxx xxxxxxxxxxxxxxxxxxxxxxx
    : Natural
    = 0

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

in  x + y
