#include <iostream>
#include <stdio.h>
#include "xen_config.h"


int main(){

   printf("%s",xen_config_data);
   return 0;
 }