This commit was manufactured by cvs2svn to create branch
'moved_pointer'.

[SVN r9293]