let var x := () in x end