/* kernel.h */
#pragma once
#include <std.h>

void main(void);