let push_call_stack cf =
  call_stack := cf :: !call_stack