(* testing simple assignment statements *)
x := 5;
y := This;