// -*- C++ -*- binary_input_data "bin_data4" x 1 4 ARRAY["r" 1 to 10]["c" 1 to 10] of int32 0 xf 1 8 ARRAY["r" 1 to 10]["c" 1 to 20] of float64 0 ASCII_output_data "array_out" x 1 4 ARRAY["r" 1 to 10]["c" 1 to 10] of int32 0 xf 1 8 ARRAY["r" 1 to 10]["c" 1 to 20] of float64 0