void dummy(void* a) {}