HipHop for PHP/Namespaces