Без заголовка

Дык для дебага всегда упрощенный код генерят, как раз чтобы обратная трансляция была возможна. Тут без вариантов. Гарантировать уже можно, для этого и нужна верификация. Сертифицированные компиляторы уже делают потихоньку.