This is what the non-mixed ADOL-C assembler does, and I want to
merge the two.