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);
}