Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2007-07-17 15:09:06 -0700 (Tue, 17 Jul 2007)
Revision: 11306
Log message:

      Change some ext_print_string to ext_print_string2.