#ifndef JOS_INC_SELF_TAINT_HH
#define JOS_INC_SELF_TAINT_HH

#include <inc/cpplabel.hh>

void taint_self(label *taint);

#endif