// ttls.c
void initTTLS(char*, char*);
int processTTLS(uchar*rcvp, uint rcvl, int, uchar*txp, uint mtu, int*succ, int*fail);
void abortTTLS(void);

// phase2.c
void doTTLSphase2(int fd);

// key.c
void handleKey(int fd, Eapol* p, int len);

// util.c
char* hexprefix(uchar *s, int n, int l);
int apetheraddr(uchar *eaddr, char*file);
void put24(uchar *p, int x);