// Dummy file to make it possible to compile simulator with Flix' util.h #define WRITE_PERI_REG(addr, val) {}