[autoeng] double free.