Push an Int16 in the header
static void writeint(EventSink<List<int>> out, int val) async { out.add([val >> 0, val >> 8]); }