* dummy-frame.h (dummy_frame_pop): Add prototype.