5895 mdb_alloc() succeeds for 4294967295 bytes in 32-bit process