assertion to exit on failure