MAP 0xE0001000, 0xE0001007 READ WRITE 
signal void DWT_CYCCNT (void) {
  while (1) {
    rwatch(0xE0001004);
    _WWORD(0xE0001004, states);
  }
}
DWT_CYCCNT()