export a few symbols, so that patch can be reimplemented without pain externally