#ifndef XCDEFS_H
#define XCDEFS_H 1
void dispatch(void);
void do_brk(void);
#endif