Phillips header file for 8051