If we want to keep these numbers, could generate them using autoconf. But this seems unnecessary.
Attach a file by drag & drop or click to upload
