I'm scared to expect a specific result here, because I'm not sure if numbers are 32bits on 32bit VMs.