The code does contain a cast that increases alignment but only in a
conditional that verifies the input is sufficiently aligned.