let x = y in skip