paxtest results and RANDEXEC