/* internal.cc 02/10/2003 12.47.22 */
/* modapi.cc 09/03/2005 15.09.22 */