let x = 0 in x