vim plugin for SMV fileformat