GIF89a€ÌÌÿ!ù,D; Pablo Sh3ll
//usr/share/awk/have_mpfr.awk