add SVPSTATE.VL pseudocode