let print_function f = let length = Array.length f in for i = 0 to length - 1 do print_string (" ----- basic block "^(string_of_int i)^" -----\n"); print_basic_block f.(i) done