4.1.53: Major header file.