Pad api now uses Intervals instead of (start, length) in Allocation init.