let input_int32_pair chn endian = let a = input_int32 chn endian in let b = input_int32 chn endian in (a, b)