4 # define maxEmployeeName (20)
5 # define employeeFormat "%9d %-20s %-6s %-11s %6d.00"
6 # define employeePrintSize (63)
8 # include "employee.lh"
10 /* Override the definition in employee.lh (can't put this in .lcl) */
11 /*@-incondefs@*/ /*@-redecl@*/ /*@-protoparammatch@*/
12 extern bool employee_setName (/*@special@*/ employee *p_e, char /* na */[]) /*@defines p_e->name@*/;
13 /*@=incondefs@*/ /*@=redecl@*/ /*@=protoparammatch@*/
14 # define employee_initMod() bool_initMod()