Stubs for the PHP PECL UUID extension