let g = ref G.empty