extern private static string get_machine_config_path (); internal static string GetMachineConfigPath ()