9.1 Overview
 9.2 Device Methods
 9.3 Cookie
  9.3.1 Detecting errors
  9.3.2 Using the cookie with threads
  9.3.3 Using the cookie to control partial rendering
 9.4 Device Hints
 9.5 Inbuilt Devices
  9.5.1 BBox Device
  9.5.2 Draw Device
  9.5.3 Display List Device
  9.5.4 PDF Output Device
  9.5.5 Structured Text Device
  9.5.6 SVG Output Device
  9.5.7 Test Device
  9.5.8 Trace Device