# Usage

Do `./generate_pp_successor_header.sh N`,
where `N` is the maximum number for which the successor is defined.