#include <cstdint>

extern uint32_t _binary_sperrypc_data_start __asm("_binary_sperrypc_data_start");
extern uint32_t _binary_sperrypc_data_end __asm("_binary_sperrypc_data_end");
extern uint32_t _binary_sperrypc_data_size __asm("_binary_sperrypc_data_size");