finding symbol instead of finding definition
we use gnus now
format ignore
split var def; add header2