A file to go alongside util.h