/* Output from LCLint 2.5q */

# include <stdio.h>
# include "bool.h"


# ifndef EXPOSED_TYPE_gender
typedef enum {MALE, FEMALE, gender_ANY} gender;
# endif


# ifndef EXPOSED_TYPE_job
typedef enum {MGR, NONMGR, job_ANY} job;
# endif


# ifndef EXPOSED_TYPE_employee
typedef struct {
    int ssNum;
    char name[maxEmployeeName];
    int salary;
    gender gen;
    job j;
    } employee;
# endif

extern void employee_sprint (/*@out@*/ char  /* s */[], employee  /* e */);
extern bool employee_equal (employee * /* e1 */, employee * /* e2 */);
extern bool employee_setName (employee * /* e */, char  /* na */[]);
extern void employee_initMod (void);