Does this still make sense in `version (X86)` (didn't check the rest of the module nor the header, it just looks odd)?