spec for gen_vary_frame