bb11023 - Wrong declaration of function destroy_ctx to cause undefined behavior