int read_file(void *ctx, const char *filename, char **bufp, int *lenp);
int replace_file(const char *filename, char *buf, int len);
int read_file(void *ctx, const char *filename, char **bufp, int *lenp);
int replace_file(const char *filename, char *buf, int len);