The spec says that addresses can only increase within a sequence, so
every decl must be a separate sequence since they are not sorted.