zgohr: lefin() remains the final executing function