#include "lang/kio.h"

extern "C" {

void k_main()
{
    kprintf("Hi from k_main()!\n");
    kprintf("padded 8 hex: 0x%08x|\n", 0x42);
    kprintf("padded -4 hex: 0x%-4x|\n", 0x42);
    kprintf("padded  20 str: %20s|\n", "hi there");
    kprintf("padded -20 str: %-20s|\n", "hi there");
}

} /* extern "C" */