config HOST_GMP
	bool