#include <tcb-offsets.h>
#define RESET_PID
#include <libc/sysdeps/linux/x86_64/clone.S>