Given an arbitrary address and an alignment constraint, alignPtr yields
the next higher address that fulfills the alignment constraint. An alignment
constraint x is fulfilled by any address divisible by x. This operation
is idempotent.