Помнится, не так давно промелькало обсуждение стандарта С, и его довольно расплывчатых словах относительно нулевых указателей и указателей на разные типы данных:
http://www.linux.org.ru/forum/development/4150703
Думаю, участникам той дискуссии может показаться любопытной эта ссылка:
http://www.c-faq.com/null/machexamp.html
Для Ъ: по ссылке упомянаются машины, у которых нулевые указатели не нулевые, итп.