a small test of phpUnit