See the file SPLASH.WRI (Windows Write format) for full
documentation on the use of the SPLASH Libraries.