extern vsfsm_top in vsfsm.h