정정 제안 · jakx-c-kernel-decompiled