free_list: comments and better names.