Added ffip-get-buffer-name