public static string intToString(int sboTerm) { string ret = libsbmlPINVOKE.SBO_intToString(sboTerm); return ret; }