abort() in redisplay.c