00001 #ifndef config_message_queue_impl_h 00002 #define config_message_queue_impl_h 00003 00019 #include <stdint.h> 00020 00021 typedef uint8_t messageQueue_SizeType; 00022 00023 #endif