a general mechanism to lower calls to intrinsic functions