Generate defaults thanks to defaults_gen