32 bits works ok