<platform version="4.1">
<!-- This is a random platform, generated with Simulacrum.
http://pda.gforge.inria.fr/tools/download.html
<platform version="4.1">
<!-- This is a random platform, generated with Simulacrum.
http://pda.gforge.inria.fr/tools/download.html