Может ли реализация C неявно включать стандартные заголовки при включении другого заголовка?

При чтении Это правильное объявление C? Если да, то почему это не работает? Я думал о

#include 

int main(void) {
  int bool = 0;
  return bool == 0;
}

Эта программа строго соответствует? Другими словами, разрешено ли stdio.h включать stdbool.h или это запрещено? Это указано в спецификации?