#include #include int main(void) { printf("%d\n", NZERO); return 0; }