Intrinsic impl RFC