I may point out that such crazy ABI may never be caught even if I do put this in. :-)