(* Test 'var ... in ...' and assignment *)

var k in k := 5