re-set-overloaded.cc revision 1.2
1