Header for pause() and resume()