/* When optimizing, all the above cases should be transformed into
something else. So any remaining calls to the original function
should abort. */
/* When optimizing, all the above cases should be transformed into
something else. So any remaining calls to the original function
should abort. */