/* This file was generated by scramble.py. */
#ifndef _PCODE_HEADER_GUARD_UTIL_
#define _PCODE_HEADER_GUARD_UTIL_
#include "vector.h"
#include "config.h"
Vector * readvalues_v(char const *filename);
void writevalues_v(char const *filename, Vector *v);
Vector * readfile_datasize(char const *filename, int datasize);
Vector * readfile(char const *filename);
void writefile(char const *filename, Vector *v);
int hasword(char const *list, char const *word);
double util_time(void);
#endif
/* This file was generated by scramble.py. */
