annotation may be fully tested