Simple spec-testing tools for PHP