Sequentialized programs from the pthread* directories.

Contributed by the CSeq team.

