varlist.cc #1