#define RESET_PID
#include <tcb-offsets.h>
#include "../clone.S"