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

Оно понятно, что "обратная трансляция" -- только некоторые преобразования программ (оптимизационные) типа криптографических преобразований: туда легко, а обратно трудно :) Гарантировать что-нибудь в компиляторах-дебаггерах-оптимизаторах-частичных оценивателях и прочих исполняющих механизмах как раз нетривиально. Хотя именно для них это весьма и весьма нужно.