80    vassert(temporary_first == &temporary[0]);  in vexAllocSanityCheck()
81    vassert(temporary_last  == &temporary[N_TEMPORARY_BYTES-1]);  in vexAllocSanityCheck()
82    vassert(permanent_first == &permanent[0]);  in vexAllocSanityCheck()
83    vassert(permanent_last  == &permanent[N_PERMANENT_BYTES-1]);  in vexAllocSanityCheck()
84    vassert(temporary_first <= temporary_curr);  in vexAllocSanityCheck()
85    vassert(temporary_curr  <= temporary_last);  in vexAllocSanityCheck()
86    vassert(permanent_first <= permanent_curr);  in vexAllocSanityCheck()
87    vassert(permanent_curr  <= permanent_last);  in vexAllocSanityCheck()
88    vassert(private_LibVEX_alloc_first <= private_LibVEX_alloc_curr);  in vexAllocSanityCheck()
89    vassert(private_LibVEX_alloc_curr  <= private_LibVEX_alloc_last);  in vexAllocSanityCheck()
91       vassert(private_LibVEX_alloc_first == temporary_first);  in vexAllocSanityCheck()
92       vassert(private_LibVEX_alloc_last  == temporary_last);  in vexAllocSanityCheck()
96       vassert(private_LibVEX_alloc_first == permanent_first);  in vexAllocSanityCheck()
97       vassert(private_LibVEX_alloc_last  == permanent_last);  in vexAllocSanityCheck()
100       vassert(0);  in vexAllocSanityCheck()
103    vassert(sizeof(HWord) == 4 || sizeof(HWord) == 8);  in vexAllocSanityCheck()
104    vassert(IS_WORD_ALIGNED(temporary_first));  in vexAllocSanityCheck()
105    vassert(IS_WORD_ALIGNED(temporary_curr));  in vexAllocSanityCheck()
106    vassert(IS_WORD_ALIGNED(temporary_last+1));  in vexAllocSanityCheck()
107    vassert(IS_WORD_ALIGNED(permanent_first));  in vexAllocSanityCheck()
108    vassert(IS_WORD_ALIGNED(permanent_curr));  in vexAllocSanityCheck()
109    vassert(IS_WORD_ALIGNED(permanent_last+1));  in vexAllocSanityCheck()
110    vassert(IS_WORD_ALIGNED(private_LibVEX_alloc_first));  in vexAllocSanityCheck()
111    vassert(IS_WORD_ALIGNED(private_LibVEX_alloc_curr));  in vexAllocSanityCheck()
112    vassert(IS_WORD_ALIGNED(private_LibVEX_alloc_last+1));  in vexAllocSanityCheck()
131       vassert(0);  in vexSetAllocMode()
148       vassert(0);  in vexSetAllocMode()
377          vassert(fwidth >= 0);  in vprintf_wrk()
422             vassert(is_sizet == False); // %zd is obscure; we don't allow it  in vprintf_wrk()
578    vassert(vex_strlen(buf) == ret);  in vex_sprintf()