#include <stddef.h>
#define NULL                                                          ((void*)0)

/** null pointer **/

/***
is an invalid pointer. It is used as a sentinel value in many standard
library functions.
***/

/*
UNDEFINED(Dereferencing THIS())
IMPLEMENTATION(The value of THIS(), DEFINITION((void*)0))
*/
/*
STDC(1)
*/