74    vassert(temporary_first == &temporary[0]);  in vexAllocSanityCheck()
75    vassert(temporary_last  == &temporary[N_TEMPORARY_BYTES-1]);  in vexAllocSanityCheck()
76    vassert(permanent_first == &permanent[0]);  in vexAllocSanityCheck()
77    vassert(permanent_last  == &permanent[N_PERMANENT_BYTES-1]);  in vexAllocSanityCheck()
78    vassert(temporary_first <= temporary_curr);  in vexAllocSanityCheck()
79    vassert(temporary_curr  <= temporary_last);  in vexAllocSanityCheck()
80    vassert(permanent_first <= permanent_curr);  in vexAllocSanityCheck()
81    vassert(permanent_curr  <= permanent_last);  in vexAllocSanityCheck()
82    vassert(private_LibVEX_alloc_first <= private_LibVEX_alloc_curr);  in vexAllocSanityCheck()
83    vassert(private_LibVEX_alloc_curr  <= private_LibVEX_alloc_last);  in vexAllocSanityCheck()
85       vassert(private_LibVEX_alloc_first == temporary_first);  in vexAllocSanityCheck()
86       vassert(private_LibVEX_alloc_last  == temporary_last);  in vexAllocSanityCheck()
90       vassert(private_LibVEX_alloc_first == permanent_first);  in vexAllocSanityCheck()
91       vassert(private_LibVEX_alloc_last  == permanent_last);  in vexAllocSanityCheck()
94       vassert(0);  in vexAllocSanityCheck()
97    vassert(sizeof(HWord) == 4 || sizeof(HWord) == 8);  in vexAllocSanityCheck()
98    vassert(IS_WORD_ALIGNED(temporary_first));  in vexAllocSanityCheck()
99    vassert(IS_WORD_ALIGNED(temporary_curr));  in vexAllocSanityCheck()
100    vassert(IS_WORD_ALIGNED(temporary_last+1));  in vexAllocSanityCheck()
101    vassert(IS_WORD_ALIGNED(permanent_first));  in vexAllocSanityCheck()
102    vassert(IS_WORD_ALIGNED(permanent_curr));  in vexAllocSanityCheck()
103    vassert(IS_WORD_ALIGNED(permanent_last+1));  in vexAllocSanityCheck()
104    vassert(IS_WORD_ALIGNED(private_LibVEX_alloc_first));  in vexAllocSanityCheck()
105    vassert(IS_WORD_ALIGNED(private_LibVEX_alloc_curr));  in vexAllocSanityCheck()
106    vassert(IS_WORD_ALIGNED(private_LibVEX_alloc_last+1));  in vexAllocSanityCheck()
125       vassert(0);  in vexSetAllocMode()
142       vassert(0);  in vexSetAllocMode()
545    vassert(vex_strlen(buf) == ret);  in vex_sprintf()