Fixed more hacky int32-to-pointer conversions