kernel.c -> main.c for clarity