A Case Study in Assuring AI-Written Software | HACKOBAR_