let push_call_stack cf = call_stack := cf :: !call_stack; call_stack_for_callbacks := (cf.called_kf, cf.call_site) :: !call_stack_for_callbacks