Some annotation test files