ef29520cf5
Also use pointer arithmetic on *mut u32 over manual multiplication by 4. The ptr2int2ptr casts pessimize optimizations.