#include "stdint.h"

void gatts_bluetooth_receive_buffer(uint16_t write_len);