#include <cstdint>
#include <cstddef>
#include <cstdarg>
#include <cstdlib>
#include <sys/types.h>
#include <stdio.h>

Namespaces
namespace	micro_os_plus

namespace	micro_os_plus::trace
	Tracing support namespace.

Macros
#define	MICRO_OS_PLUS_TRACE_NAME_TESTING(name)

#define	trace_dump_args micro_os_plus_trace_dump_args

#define	trace_flush micro_os_plus_trace_flush

#define	trace_initialize micro_os_plus_trace_initialize

#define	trace_printf micro_os_plus_trace_printf

#define	trace_putchar micro_os_plus_trace_putchar

#define	trace_puts micro_os_plus_trace_puts

#define	trace_vprintf micro_os_plus_trace_vprintf

#define	trace_write micro_os_plus_trace_write

Functions
void	micro_os_plus::trace::dump_args (int argc, char argv[], const char name="main")
	Send the `argv[]` array to the trace output channel.

void	micro_os_plus::trace::flush (void)
	Flush the trace output channel.

void	micro_os_plus::trace::initialize (void)
	Initialize the trace output channel.

void	micro_os_plus_trace_dump_args (int argc, char *argv[])
	Write the argv[] array to the trace output channel.

void	micro_os_plus_trace_flush (void)
	Flush the trace output channel.

void	micro_os_plus_trace_initialize (void)
	Initialize the trace output channel.

int	micro_os_plus_trace_printf (const char *format,...)
	Write a formatted string to the trace output channel.

int	micro_os_plus_trace_putchar (int c)
	Write the single character to the trace output channel.

int	micro_os_plus_trace_puts (const char *s)
	Write the string and a line terminator to the trace output channel.

int	micro_os_plus_trace_vprintf (const char *format, va_list arguments)
	Write a formatted variable arguments list to the trace output channel.

ssize_t	micro_os_plus_trace_write (const void *buf, size_t nbyte)
	Write the given number of bytes to the trace output channel.

int	micro_os_plus::trace::printf (const char *format,...)
	Write a formatted string to the trace output channel.

int	micro_os_plus::trace::putchar (int c)
	Write the single character to the trace output channel.

int	micro_os_plus::trace::puts (const char *s="")
	Write the string and a line terminator to the trace output channel.

int	micro_os_plus::trace::vprintf (const char *format, std::va_list arguments)
	Write a formatted variable arguments list to the trace output channel.

ssize_t	micro_os_plus::trace::write (const void *buf, std::size_t nbyte)
	Write the given number of bytes to the trace output channel.