Symbol: IPOPT_TS_PRESPEC_RFC791