add intrinsic header