public string getProgram() { string ret = libsbmlPINVOKE.SBMLExternalValidator_getProgram(swigCPtr); return ret; }