почему использование clock_t в качестве идентификатора типа данных clock_t не дает ошибки?

Question

#include<stdio.h>
#include<time.h>
int main(){
       clock_t clock_t=80;
       printf("%d",clock_t);
return 0;
}

Вывод: 80

Это должно привести к ошибке компиляции, но с выводом как 80 ... почему?