#include <stdint.h>

typedef uint32_t physical_address;