*** Testing assignments and variable aliasing: ***