let extern = ref Kmap.empty