#include int main(void) { return ZERO_RESULT; }