/* internal.cc 02/10/2003 12.47.22 */
/* modapi.cc 09/06/2004 15.34.16 */