// in ms
static int poorMansProfiling_defaultInterval() {
  ret 25;
}