#include <stdio.h>
int main()
{
    FILE *f=fopen("/sys/mem","w");
    uint32_t data=0xaabbccdd;
    fwrite(&data,4,1,f);
//    fclose(f); // not automatically by newlib?
//    fflush(f);
}