Programme extensions and termination