#ifndef __idl4_arch_ia64_helpers_h__
#define __idl4_arch_ia64_helpers_h__

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

#define idl4_size_t long unsigned int

#endif /* defined(__idl4_arch_ia64_helpers_h__) */