This code illustrates unification (using destructive pointer update)
in the presence of parameters.
