#include <stdint.h>

uint8_t cache[50 * 1024] __attribute__((section(".ccmram")));

void write_to_cache() {
  for (int i = 0; i < 1000; i++) {
    cache[i] = i;
  }
}