Re: [SATYR PATCH 1/9] Move koops taint flags declaration to private header