/** * @return resource GMP resource for 0x7f */ private static function gmp_0x7f() { if (!isset(self::$gmp_0x7f)) { self::$gmp_0x7f = gmp_init('0x7f'); } return self::$gmp_0x7f; }