let x = 0 in
skip