#define EVENT_ALL
#include "../spintrcritical11/spintrcritical11impl.h"