Change-Id: I018335a08cbb1eca55896c21e36918ed45a4b2a8
vpx_integer accounts for win32, which does not have stdint.h Change-Id: I0ecf243ba56ed2e920e1293a6876c2e1ef1af99e
Change-Id: I1d99c56d1e1f521507978737fc661ca90af72507