print ktap string properly in dump_function