rdox for precompile