Quick & dirty symbol-to-BDD test code