SDCC wiki/Namespaces