#ifndef MISSION_TRACE_H_
#define MISSION_TRACE_H_

#include <cstdint>

#define OBSW_THREAD_TRACING 0

namespace trace {

void threadTrace(uint32_t& counter, const char* name, unsigned div = 5);

}

#endif /* MISSION_TRACE_H_ */