Might want to call those asserts before an abort()…