console.log("[" + platform + ": [" + result.get(platform).join(", ") + "]]");
    });
    return result;
}

function getPlatform(file) {
    let result = null; // Default to null in case no platform is found

    if (file.startsWith('platforms/')) {
        const parts = file.split('/');
        result = parts[1];
    }

    console.log(file + " = " + result);
    return result;
}