#include <arm/cdefs.h> to get _ARM_ARCH_DWORD_OK