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