I'm wondering: Where are the library files - such as stdio.h or cs50.h - located that we include in the header of almost every file?