(Frename_buffer): In interactive spec replace