Имена user32, system32 и т. Д. Существовали задолго до современных 64-разрядных версий Windows. Названия были предназначены для того, чтобы отличать их от 16-битных версий, а не от 64-битных версий. В 64-битной Windows он все еще не 16-битный, поэтому он по-прежнему «system32», «user32» и т. Д.
Никто так не планировал, просто так случилось.