a test template for verifying bugs