Update vanilla.zs