Contains code for failed Sec Annotatino test