abstract-intrinsic