kernelCTF{example_flag}
