Example: SAL bound to 1FIQ