reformatted a FLINT_DLL declaration and added another.