Added NoReturn pending spec