add @kindex for catchpoints