Update vfsm.h