symbols file