fn advance(p: usize, n: usize, ceiling: usize) -> Option<usize>
Advances p by n, or None if that would exceed ceiling.
p
n
None
ceiling