Update vfa.v