*-dis: Replace fprintf_ftype by fprintf_function (format checking)