.*BADFLAG_EXECUTABLE.*
