generate_ansi_c_start_function limits argc in a seemingly arbitrary way

[tautschnig]

The comment says: // assume argc is at most MAX/8-1 while the code then uses mp_integer upper_bound=power(2, config.ansi_c.int_width-4);. I don't know where either is coming from and why they differ.