-BUG: warnings on 32 bit: bug_files/TODO/armv7_32bit.log [report: aron]
