eyesno
(s = eyesno("Buffer modified; kill anyway")) != TRUE)
int eyesno(const char *);
if ((s = eyesno("File has changed on disk since last save. "
(s = eyesno("Backup error, save anyway")) != TRUE)
|| eyesno("Modified buffers exist; really exit") == TRUE) {