We need to use these because the fitio library depends on c-format style strings (va... The use of variadic functions prevents us from using Miri on a larger scale. Variadic functions are used in the ...