bikeshed: maybe use_X_for_vfp_save isntead? the "_save" versus "_saved" distinction is very easy to miss visually.