#include "cacheracer.h"

void __start(__attribute__((unused)) int core_id,
             __attribute__((unused)) unsigned char payload) {
  while(1) ;
}