# ifndef EMPLOYEE_H # define EMPLOYEE_H # define maxEmployeeName (20) # define employeePrintSize (63) /*@notfunction@*/ # define employeeFormat "%9d %-20s %-6s %-11s %6d.00" #include "employee.lh" # define employee_initMod() bool_initMod() # endif