#include <stddef.h>					// size_t, ptrdiff_t
#include <uchar.h>					// char16_t, char32_t
#include <wchar.h>					// wchar_t
#include <stdlib.h>					// malloc, free, exit, atexit, abort
#include <stdio.h>					// printf