contents of src_file
