restart_marked_work_groups
restart_marked_work_groups(); \
extern void restart_marked_work_groups __P((void));