Update vfsm.c