32 bit compilation, printf works