let a:Natural = 1 in a