finished typing, before debugging
finish compile-level debugging