debugKen push