#include <tc_util.h>
#include <zephyr.h>
#include <sys/mutex.h>
thread_12 - thread that participates in recursive locking tests