public static string SBMLTypeCode_toString(int tc, string pkgName) { string ret = libsbmlPINVOKE.SBMLTypeCode_toString(tc, pkgName); return ret; }