terminate() support