I think this should go into a new `handle_config` function (it's one of the things that RPython recognizes in a target file).