#ifndef STORM_ARRAY_UINT32_T_H #define STORM_ARRAY_UINT32_T_H #include #include "storm/array.h" STORM_TS_GROWABLE_ARRAY(uint32_t) #endif