more casting for SFAv1 rspecs