add Vsf & implemented_example