#pragma once
#include <stdint.h>
extern uint32_t _binary_mask_04_AA00_data_start __asm("_binary_mask_04_AA00_data_start");
extern uint32_t _binary_mask_04_AA00_data_end __asm("_binary_mask_04_AA00_data_end");
extern uint32_t _binary_mask_04_AA00_data_size __asm("_binary_mask_04_AA00_data_size");