Push an int32 in the header
static void writeInt32(List<int> out, int val) { out.addAll([val >> 0, val >> 8, val >> 16, val >> 24]); }