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