#include "stdint.h" void gatts_bluetooth_receive_buffer(uint16_t write_len);
#include "stdint.h"
void gatts_bluetooth_receive_buffer(uint16_t write_len);