"either result impl defined or a signal is raised"