it aliased with. Assert that the alignment actually used reflects the alignment required by existing implementation and for newly build modules assert that it is at most the guaranteed alignment.