64 /* doesn't make sense with 32bit addresses */