Editing: generate_max_key_length.php