re-synchronize va.c and vf.c