public static int writeSBMLToFile(SBMLDocument d, string filename) { int ret = libsbmlPINVOKE.writeSBMLToFile(SBMLDocument.getCPtr(d), filename); return ret; }