Example: TXL bound to 1IA0