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