1. 6
  1.  

  2. 1

    The followup paper is also worth reading, and perhaps more interesting from a practice perspective.

    http://web.stanford.edu/~engler/sosp-97.ps