anyway, why do you want to have a litteral '$0' in the abstraction argument and not the value, that it represents, since it is actually the same? if i am not totally mistaken, this would only make sense, when you plan to save the patch with all the dynamically generated stuff, whereas saving dynamically generated stuff does not make sense at all, as far as i can see it. the only case i could think of, that would require litteral '$0's as abstraction arguments, would be, if you would use dynamic patching just as a quicker way of patching.