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