align_up contains (size + alignment_mask(alignment)), which could overflow and produce an incorrect result. There should be an assert to check for such.