Do we want to put the same values here as the defaults defined in node_cfg.ml ?