let goal = ref [||]