Tests through annotations