static String tagToName(int tag) => String.fromCharCodes( [ tag >> 24, (tag >> 16) & 0xFF, (tag >> 8) & 0xFF, tag & 0xFF, ], );