const GNU_pubnames: comptime_int = 8500;