Symbol: afs_extract_to_tmp64