Testing prx/mamba symbols for 4.65

Testing prx/mamba symbols for 4.65