public static function writeUint32(&$output, $value) { return $output->writeVarint32($value, true); }