whitespace
avoid mixing yield and raise AuditFailure