public static ASTNode parseFormula(string formula) { IntPtr cPtr = libsbmlPINVOKE.parseFormula(formula); ASTNode ret = (cPtr == IntPtr.Zero) ? null : new ASTNode(cPtr, true); return ret; }