let call_stack_for_callbacks : (kernel_function * kinstr) list ref = ref []