Kernel nasm -> c