Added some (lame?) comments on why this code is untested :-)