[PATCH v9 2/5] util: Introduce read_file() and read_file_integer() function