#include <stdio.h>

#include <winpr/nt.h>

int TestNtCurrentTeb(int argc, char* argv[])
{
#ifndef _WIN32
	PTEB teb;

	teb = NtCurrentTeb();

	if (!teb)
	{
		printf("NtCurrentTeb() returned NULL\n");
		return -1;
	}
#endif

	WINPR_UNUSED(argc);
	WINPR_UNUSED(argv);

	return 0;
}