(OLD_SIGLIST_SIZE_STR): New.