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