* data/php_stdlib/: builtins from hphp/system/classes