let var x: int := "test" in x end