[suppress_type]
	name = FILE*