#include "types.h"


void kmain(void)
{
    
}