On 1/20/2013 11:42 PM, Jacob Carlborg wrote: > Is there any documentation for these, or do we have to find it in the compiler > sources? The PPPi is documented in the page on the ABI.