1#include <errno.h>
2
3int
4main(void)
5{
6	return !EFTYPE;
7}
8