On Thu, 3 Apr 2014, Jan Hubicka wrote:
+ /* Use OTR_TOKEN = INT_MAX as a marker of probably type inconsistent + /* Use OTR_TOKEN = INT_MAX as a marker of probably type inconsistent + OTR_TOKEN == INT_MAX is used to mark calls that are provably
Did you mean "provably" instead of "probably" in the first two? -- Marc Glisse