new files (mainly for symbol_proc)