Warp unwarped procedures called from warped procedures