builtin -> intrinsic