SuperTux/Namespaces