where is ```save_load_header``` defined? I do not see it in this pull request?