vchoi_fork

Document some of the functions in here.  Update the comment at the top
of the file.  NFCI.