/* LINTLIBRARY */

char   *OfficialName(n) char *n; { return OfficialName(n); }
char   *rp_string (c) { return rp_string (c); }
int	sm_end(t) { return sm_end(t); }
int	sm_init(c,s,w,v,d) char *c,*s; { return sm_init(c,s,w,v,d); }
int	sm_wadr(m,h,p) char *m,*h,*p; { return sm_wadr(m,h,p); }
int	sm_waend() { return sm_waend(); }
int	sm_winit(m,f) char *f; { return sm_winit(m,f); }
int	sm_wtend() { return sm_wtend(); }
int	sm_wtxt(b,l) char *b; { return sm_wtxt(b,l); }