let
update_caller n_call ts =
let
md = get_marking_data n_call
in
md.call_time_stamp <- ts