#pragma once int video_init(void); int video_putchar(int c);