pub fn align_down(align_mask: u64, value: u64) -> u64
Returns maximal aligned integer not greater than value.