#include "../../gcc.dg/simulate-thread/simulate-thread.h"