* Some code for handling program testing