let config : Benl_types.config ref = ref []