Update esvm.h