#ifndef VMM_H
#define VMM_H

#include <stdint.h>



#endif