let call_stack : kernel_function Stack.t = Stack.create ()