delete kassert in f_destroy