#ifndef VGA_H
#define VGA_H

void vga_machines_init(void);

extern unsigned long int frame_counter;

#endif // VGA_H