virtual void yield_hook() { /* empty placeholder, called before yield(). Used in parallel mode */}
virtual void stop_hook() { /* empty placeholder, called at stop(). Used in Java */}
virtual void yield_hook() { /* empty placeholder, called before yield(). Used in parallel mode */}
virtual void stop_hook() { /* empty placeholder, called at stop(). Used in Java */}