A pointer value that is guaranteed not to point to any object or function and must not be dereferenced.