#include int main(void) { char c='empty'; return 0; }