#ifndef __idl4_arch_arm_helpers_h__
#define __idl4_arch_arm_helpers_h__

#define __idl4_have_size_t__
typedef unsigned long idl4_size_t;

#include <idl4/arch/generic/helpers.h>

#endif /* defined(__idl4_arch_arm_helpers_h__) */