$ let x := 5 in
syntax error