Dmtcp exitest r527

For archival purposes only.