11 typedef unsigned char uint8_t;
13 typedef uint8_t error_t ;
15 enum __nesc_unnamed4247 {
28 static inline error_t PlatformP__LedsInit__default__init(void) {
32 static error_t PlatformP__LedsInit__init(void);
33 static inline error_t PlatformP__LedsInit__init(void){
36 result = PlatformP__LedsInit__default__init();
44 ASSERT (PlatformP__LedsInit__init() == SUCCESS);