#include int main(void) { return !EFTYPE; } .