Coolc Wiki/Namespaces