#include <cstdint>

extern uint32_t _binary_bbb_data_start __asm("_binary_bbb_data_start");
extern uint32_t _binary_bbb_data_end __asm("_binary_bbb_data_end");
extern uint32_t _binary_bbb_data_size __asm("_binary_bbb_data_size");

extern uint32_t _binary_bbb1_data_start __asm("_binary_bbb1_data_start");
extern uint32_t _binary_bbb2_data_start __asm("_binary_bbb2_data_start");
extern uint32_t _binary_bbb4_data_start __asm("_binary_bbb4_data_start");
extern uint32_t _binary_bbb8_data_start __asm("_binary_bbb8_data_start");
extern uint32_t _binary_bbb16_data_start __asm("_binary_bbb16_data_start");
extern uint32_t _binary_bbb32_data_start __asm("_binary_bbb32_data_start");
extern uint32_t _binary_bbb64_data_start __asm("_binary_bbb64_data_start");
extern uint32_t _binary_bbb128_data_start __asm("_binary_bbb128_data_start");
extern uint32_t _binary_bbb256_data_start __asm("_binary_bbb256_data_start");
extern uint32_t _binary_bbb512_data_start __asm("_binary_bbb512_data_start");
extern uint32_t _binary_bbb1024_data_start __asm("_binary_bbb1024_data_start");