init_firm() has now a parameter default_initialize_local_variable_func_t, which is...