Completing setup, some new interfaces to Lib/dfalib.c.