added code checking annotations