/%token.*K_/!d
/%token.*K_\(.*\)/s//    { "\1",    K_\1 },/