Example: BL1 bound to 3BL1