BF: now trying IA32