private static function encode_dynamic_integer($int) { $out = ""; $i = 0; while ($int >> $i > 0x80) { $out .= \chr(0x80 | $int >> $i & 0x7f); $i += 7; } return $out . chr($int >> $i); }