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