#include static inline void *getDispatchMain() { return (void *)&_dispatch_main_q; }