void load_fence_from_file(const char *filename);