Push a String to the header
static void writeString(List<int> out, String id) { out.addAll(id.codeUnits); }