64->32 bit here, but not necessary.