add stdint in arm.cpp