text: # ifndef EMPLOYEE_H
  # define EMPLOYEE_H
  
  # define maxEmployeeName (20)
  # define employeeFormat "%9d  %-20s  %-6s  %-11s  %6d.00"
  # define employeePrintSize (63)
  
  # include "employee.lh"
  
  /* Override the definition in employee.lh (can't put this in .lcl) */
  /*@-incondefs@*/ /*@-redecl@*/ /*@-protoparammatch@*/
  extern bool employee_setName (/*@special@*/ employee *p_e, char  /* na */[]) 
     /*@sets p_e->name@*/; /* evans 2002-01-01: was defined, bug fix in splint detected error */
  /*@=incondefs@*/ /*@=redecl@*/ /*@=protoparammatch@*/
  # define employee_initMod()  bool_initMod()
  # endif
  