#ifndef VGA_H
#define VGA_H
void vga_machines_init(void);
extern unsigned long int frame_counter;
#endif // VGA_H