tools: print the kccgst format in a usable syntax