list(, $full, $short, $type) = $info;
if (in_array($short, $exclude)) continue;
if (isset($ifdefs[$short])) printf("#if HTTP_CURL_VERSION(%s)\n", $ifdefs[$short]);
list(, $full, $short, $type) = $info;
if (in_array($short, $exclude)) continue;
if (isset($ifdefs[$short])) printf("#if HTTP_CURL_VERSION(%s)\n", $ifdefs[$short]);