exec: Use fprintf_function for dump_exec_info (format checking)