#include <stdint.h>

extern const uint8_t* stringABC();
extern const uint8_t* stringDEF();