#include <stddef.h>					// size_t, ptrdiff_t, intptr_t, uintptr_t
#include <stdint.h>					// intX_t, uintX_t, where X is 8, 16, 32, 64
#include <uchar.h>					// char16_t, char32_t
#include <wchar.h>					// wchar_t
#include <stdlib.h>					// malloc, free, exit, atexit, abort
#include <stdio.h>					// printf