spec: audit_arch/0