#include <fileguardian_headers.h>

int main(void) {
	char name[L_tmpnam];
	FILE *f = fileg_safe_tmpfile_with_name(name);
	return 0;
}