next batch of -disable-debug-info-verifier