IIUC if we call to unblock_input _after_ clearing gc_in_progress in Fgarbage_collect, we can avoid gc_in_progress == true cases in redisplay routines; thus, some things may be simplified. Comments? Dmitry