Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2007-02-27 19:40:24 -0800 (Tue, 27 Feb 2007)
Revision: 10114
Log message:

      Added is_string_prefix.