void res_init(void);