Inherit InputProtocol from Protocol.
sig paramater for Pane.kill_process.