#include <cstdint>

extern uint32_t _binary_ter_u20n_data_start __asm("_binary_ter_u20n_data_start");
extern uint32_t _binary_ter_u20n_data_end __asm("_binary_ter_u20n_data_end");
extern uint32_t _binary_ter_u20n_data_size __asm("_binary_ter_u20n_data_size");