a) make sure the stack gets marked as non-executable b) add tss functions from threads.h
#include <threads.h> int tss_set(tss_t tss_id, void* val) { tss_id->data=val; return thrd_success; }