The text 0c08bf615b9d, as Debian 6.0 (Squeeze) shipped it.
rewrite lines
s3d_pep_vertices(3) on Linux now