added new testing function definition macros
creating some example PDAs for eventual use in tests