let output_int32_pair chn endian (a,b) = 
  output_int32 chn endian a;
  output_int32 chn endian b