Debugging PRST