#ifndef _XDR_H_025ed0f9_
#define _XDR_H_025ed0f9_

extern void dump_xdr_bool(const char *, int *);
extern void dump_xdr_string(const char *);
extern void dump_limited_xdr_string(const char *, unsigned int, unsigned int);

#endif