/* !!! This function will not work unless the compiler performs
* tail call optimization. Machine-specific asm versions should
/* !!! This function will not work unless the compiler performs
* tail call optimization. Machine-specific asm versions should