Remove from {syntax,undo}.c
Remove from window.c
Remove `alloc_check`