Alias intbv32 and uintbv32 with int32_t  and uint32_t.
Alias intbv32 and uintbv32 with int32_t  and uint32_t.

wdblair/ATS-Postiats-contrib,wdblair/ATS-Postiats-contrib,alex-ren/Learn-ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,master-q/ATS-Postiats-contrib,ashalkhakov/ATS-Postiats-contrib,master-q/ATS-Postiats-contrib,wdblair/ATS-Postiats-contrib,ashalkhakov/ATS-Postiats-contrib,alex-ren/Learn-ATS-Postiats-contrib,alex-ren/Learn-ATS-Postiats-contrib,alex-ren/Learn-ATS-Postiats-contrib,githwxi/ATS-Postiats-contrib,alex-ren/Learn-ATS-Postiats-contrib,alex-ren/Learn-ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,master-q/ATS-Postiats-contrib,githwxi/ATS-Postiats-contrib,wdblair/ATS-Postiats-contrib,alex-ren/Learn-ATS-Postiats-contrib,alex-ren/Learn-ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,ashalkhakov/ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,ashalkhakov/ATS-Postiats-contrib,ashalkhakov/ATS-Postiats-contrib,alex-ren/Learn-ATS-Postiats-contrib,githwxi/ATS-Postiats-contrib,alex-ren/Learn-ATS-Postiats-contrib,ashalkhakov/ATS-Postiats-contrib,wdblair/ATS-Postiats-contrib,master-q/ATS-Postiats-contrib,wdblair/ATS-Postiats-contrib,master-q/ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,master-q/ATS-Postiats-contrib,githwxi/ATS-Postiats-contrib,master-q/ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,githwxi/ATS-Postiats-contrib,githwxi/ATS-Postiats-contrib,githwxi/ATS-Postiats-contrib,ashalkhakov/ATS-Postiats-contrib,ashalkhakov/ATS-Postiats-contrib,wdblair/ATS-Postiats-contrib,master-q/ATS-Postiats-contrib,wdblair/ATS-Postiats-contrib,master-q/ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,githwxi/ATS-Postiats-contrib,master-q/ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,ashalkhakov/ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,bbarker/ATS-Postiats-contrib,githwxi/ATS-Postiats-contrib