a more efficient tail call by using the new TUCK instruction