public static object xDotNetFromMai(string maiFile);