Alias intbv32 and uintbv32 with int32_t  and uint32_t.
Merge branch 'master' of github.com:wdblair/ATS-Postiats-contrib