Procedure buffer-file-name is a C function defined in [dezyne.cc:873]

buffer_file_name