Second try: No Debug_Kernel