+dump after halt;