#include #ifndef nextafter #error "nextafter is not defined" #endif int main(void) { return 0; }