Just use `bud_config_t* config` here as an argument.