prompt_() { printf("? "); }