foobarを32bit出力に設定すればいいんじゃね