In principle we don't want any stop statements in the library, but for now its
better to abort with an error than to abort successfully