XDR bool is encoded as a 32-bit integer (0/1).
bool
void writeBool(bool v) => writeUint32(v ? 1 : 0);